Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
721	Error Handling Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-21 08:22:58 Type theory Semantics Predicate logic Proof theory Quantification Type system Model theory Mathematical logic Exception handling Logic Metalogic Science
722	Validity in a Modal Procedural Semantics Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-21 12:17:12 Proof theory Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Entailment Ordinal number Logic Mathematical logic Mathematics
723	Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein1 , David Aspinall1 , and Christoph L¨ uth2 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-02-06 07:36:58 Proof assistant Functional languages Isabelle Theorem prover Emacs Interactive proof system Coq KeY Mathematical proof Software Theoretical computer science Automated theorem proving
724	Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-07-22 05:24:16 Logic Proof theory Programming language semantics Curry–Howard correspondence Philosophy of computer science Type theory Operational semantics Programming language Interpretation Theoretical computer science Logic in computer science Mathematical logic
725	A small experiment in Event-B rippling Gudmund Grov, Alan Bundy & Lucas Dixon [removed] [removed] Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Mathematical proof Formal methods Theorem Logic Automated theorem proving Mathematics
726	Constraining Credential Usage in Logic-Based Access Control Lujo Bauer Carnegie Mellon University Pittsburgh, PA, USA Email: Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Cut-elimination theorem Sequent calculus Mathematical proof Sequent Logic programming Credential Entailment Natural deduction Logic Proof theory Mathematics
727	The University of Western Australia SCHOOL OF MATHEMATICS AND STATISTICS BLAKERS MATHEMATICS COMPETITION 2010 Problems with Solutions 1. Matrices of order 2. Add to Reading List Source URL: www.maths.uwa.edu.au Language: English - Date: 2011-08-15 03:11:12 Combinatorics Integer sequences Number theory Orthogonal polynomials Binomial coefficient Proof that π is irrational Mathematics Mathematical analysis Polynomials
728	The inconsistency of a Brouwerian continuity principle with the Curry–Howard interpretation Martín Hötzel Escardó1 and Chuangjie Xu1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-15 05:54:45 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Lambda calculus Intuitionistic type theory Constructible universe Mathematics Mathematical logic Theoretical computer science
729	L INEAR L OGIC AND I MPERATIVE P ROGRAMMING L IMIN J IA A D ISSERTATION Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Sequent Linear logic First-order logic Logic programming Formal proof Hoare logic Cut-elimination theorem Type safety Logic Mathematical logic Proof theory
730	DIGITAL Mechanical Specifications S H O W C A S E FULL PAGE Bleed size Add to Reading List Source URL: www.universalmagazines.com.au Language: English - Date: 2012-03-15 20:41:51 World Wide Web Knowledge Humanities Epistemology Mathematical logic Mathematical proof Email

UPDATE